On contract satisfaction in a higher-order world
نویسندگان
چکیده
منابع مشابه
On behavioural abstraction and behavioural satisfaction in higher-order logic?
The behavioural semantics of specifications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of first-order logic by Bidoit et al, is further generalized to this case....
متن کاملOn Behavioral Abstraction and Behavioural Satisfaction in Higher-Order Logic
The behavioural semantics of speciications with higher-order logical formulae as axioms is analyzed. A characterization of behavioural abstraction via behavioural satisfaction of formulae in which the equality symbol is interpreted as indistinguishability, which is due to Reichel and was recently generalized to the case of rst-order logic by Bidoit et al, is further generalized to this case. Th...
متن کاملAbstract Reduction Semantics for Modular Higher-Order Contract Verification
Reduction Semantics for Modular Higher-Order Contract Verification Sam Tobin-Hochstadt David Van Horn
متن کاملHigher-order symbolic execution for contract verification and refutation
We present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. To validate our approach, we use it to develop and evaluate a system for verifying and refuting behavioral software contracts of components in a functional language, which we call soft contract verification. In doing so, we discover a mutual...
متن کاملA Higher-Order Formative E-Commerce Customer Satisfaction Index
Customer satisfaction is commonly acknowledged as one of the useful proxy measures of ecommerce system effectiveness, which in turn leads to business success. This study proposes an effective ecommerce system development by means of the conceptualization and measurement of an e-commerce user satisfaction index. The proposed construct is defined and empirical validation of the index and its dime...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2011
ISSN: 0164-0925,1558-4593
DOI: 10.1145/2039346.2039348